Fernández-Margarit, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

On Overspill Principles and Axiom Schemes for Bounded Formulas

Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario Pérez-Jiménez

Journal:

Mathematical Logic Quarterly

Year:

1996

Language:

english

File:

PDF, 376 KB

english, 1996

2

Fragments of Arithmetic and true sentences

Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín

Journal:

Mathematical Logic Quarterly

Year:

2005

Language:

english

File:

PDF, 246 KB

english, 2005

3

On axiom schemes forT-provably({Delta_{1}})formulas

Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F. F.

Journal:

Archive for Mathematical Logic

Year:

2014

Language:

english

File:

PDF, 344 KB

english, 2014

4

A note on parameter free Π1-induction and restricted exponentiation

A. Cordón-Franco, A. Fernández-Margarit, F. F. Lara-Martín

Journal:

Mathematical Logic Quarterly

Year:

2011

Language:

english

File:

PDF, 182 KB

english, 2011

5

Maximum Schemes in Arithmetic

A. Fernández-Margarit, M. J. Pérez-Jiménez

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 227 KB

english, 1994

6

Existentially Closed Models and Conservation Results in Bounded Arithmetic

A. Cordon-franco, A. Fernandez-margarit, F. F. Lara-martin

Year:

2009

Language:

english

File:

PDF, 212 KB

english, 2009

7

A note on Σ1-maximal models

Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F.F.

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 578 KB

english, 2007

8

Induction, minimization and collection for Δn+1(T)–formulas

A. Fernández-Margarit, F.F. Lara-Martín

Journal:

Archive for Mathematical Logic

Year:

2004

Language:

english

File:

PDF, 428 KB

english, 2004

9

On the quantifier complexity of Δn+1(T)– induction

A. Cordón-Franco, A. Fernández-Margarit, F.F. Lara-Martín

Journal:

Archive for Mathematical Logic

Year:

2004

Language:

english

File:

PDF, 289 KB

english, 2004

10

A Note on Σ₁-Maximal Models

A. Cordón-Franco, A. Fernández-Margarit and F. F. Lara-Martín

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 643 KB

english, 2007

11

On the optimality of conservation results for local reflection in arithmetic

Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F. F.

Journal:

Journal of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 150 KB

english, 2013

12

Envelopes, indicators and conservativeness

Andrés Cordón-Franco, Alejandro Fernández-Margarit, F. Félix Lara-Martín

Journal:

Mathematical Logic Quarterly

Year:

2006

Language:

english

File:

PDF, 275 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски